Tag static [108 articles] Export

Recent papers classified by the tag static.

	Discerning static and causal interactions in genome-wide reverse engineering problems. [My Copy] Bioinformatics (Oxford, England) (8 May 2008) by M Zampieri, N Soranzo, C Altafini posted to static network inference causal by dolchan on 2009-10-29 17:12:51 as along with 6 people rdiaz roys guhjy tmmurali verdicchio balicea
	Multiple right-hand side techniques for the numerical simulation of quasistatic electric and magnetic fields☆ [My Copy] Journal of Computational and Applied Mathematics, Vol. 215, No. 2. (01 June 2008), pp. 328-338. by M. Clemens, M. Helias, T. Steinmetz, G. Wimmer posted to static solver simulation numerical magnetic field electric algorithm by michaelbussmann on 2009-10-28 12:56:31 as
	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams [My Copy] In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144. by John Whaley, Monica S. Lam posted to verification static source robdd research programming model-checking model method language formal datalog code bdd analysis by incubos on 2009-08-30 18:25:24 as along with 6 people robertjohnsimmons pedagand bec schuh srccheck olesya
	Static and dynamic contact angles – A phase field modelling [My Copy] The European Physical Journal - Special Topics, Vol. 166, No. 1. (1 January 2009), pp. 127-131. by R. Borcia, I. D. Borcia, M. Bestehorn posted to angle btu contact cottbus dynamic static wetting by fantaace on 2009-07-23 12:47:38 as
	Design of static H∞H∞ loop shaping controller in four-block framework using LMI approach☆ [My Copy] Automatica, Vol. 44, No. 8. (August 2008), pp. 2214-2220. by S. Patra, S. Sen, G. Ray posted to controller h-infinity loop-shaping static by sengelken on 2009-07-20 16:28:55 as
	Dynamic or Static Capabilities? Process Management Practices and Response to Technological Change [My Copy] Journal of Product Innovation Management, Vol. 26, No. 5. (2009), pp. 473-486. by Mary J. Benner posted to capabilities change dynamic management practices process response static technological by derchao on 2009-07-13 17:16:13 as along with 1 person rrbarb
	A calculus of atomic actions [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 2-15. by Tayfun Elmas, Shaz Qadeer, Serdar Tasiran posted to atomicity concurrency static by rhishi on 2009-07-09 14:23:13 as
	Precise alias analysis for static detection of web application vulnerabilities [My Copy] In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 27-36. by Nenad Jovanovic, Christopher Kruegel, Engin Kirda posted to analysis static web by basus on 2009-06-24 16:02:43 as along with 2 people stefanocrosta linekin
	Program Analysis and Specialization for the C Programming Language [My Copy] (1994) by Lars O. Andersen posted to analysis nasko static by khatchad on 2009-06-22 17:04:22 as
	Points-to analysis in almost linear time [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 32-41. by Bjarne Steensgaard posted to analysis nasko static by khatchad on 2009-06-22 16:58:04 as along with 4 people and 1 group lesandrop mattmight plaugg srccheck Verimag-STmicro
	Undecidability of static analysis [My Copy] ACM Lett. Program. Lang. Syst., Vol. 1, No. 4. (December 1992), pp. 323-337. by William Landi posted to analysis nasko static by khatchad on 2009-06-16 16:30:38 as along with 3 people bunge clconway alphabetagamma
	Proposal maps driven MCMC for estimating human body pose in static images [My Copy] Computer Vision and Pattern Recognition, 2004. CVPR 2004. Proceedings of the 2004 IEEE Computer Society Conference on In Computer Vision and Pattern Recognition, 2004. CVPR 2004. Proceedings of the 2004 IEEE Computer Society Conference on, Vol. 2 (2004), pp. II-334-II-341 Vol.2. by Mun W. Lee, I. Cohen posted to image static tracking by varung on 2009-05-21 07:19:15 as along with 1 person mat4sajphd
	Static Techniques for Concept Location in Object-Oriented Code [My Copy] In IWPC '05: Proceedings of the 13th International Workshop on Program Comprehension (2005), pp. 33-42. by Andrian Marcus, Vaclav Rajlich, Joseph Buchta, Maksym Petrenko, Andrey Sergeyev posted to analysis concept feature information location retrieval static by eabait on 2009-05-20 15:39:26 as
	A comparison of methods for locating features in legacy software [My Copy] J. Syst. Softw., Vol. 65, No. 2. (February 2003), pp. 105-114. by Norman Wilde, Michelle Buckellew, Henry Page, Vaclav Rajlich, Latreva Pounds posted to analysis dynamic feature location static by eabait on 2009-05-18 18:12:50 as along with 3 people yijunyu kklo alphabetagamma
	Automatic instrumentation of embedded software for high level hardware/software co-simulation [My Copy] Design Automation Conference, 2009. ASP-DAC 2009. Asia and South Pacific In Design Automation Conference, 2009. ASP-DAC 2009. Asia and South Pacific (2009), pp. 546-551. by Aimen Bouchhima, Patrice Gerin, Frederic Petrot posted to back-annotation static timing-annotation by chengyangfu on 2009-05-13 08:39:42 as along with 1 person mian_m_hamayun
	Fast and accurate performance simulation of embedded software for MPSoC [My Copy] Design Automation Conference, 2009. ASP-DAC 2009. Asia and South Pacific In Design Automation Conference, 2009. ASP-DAC 2009. Asia and South Pacific (2009), pp. 552-557. by E. Cheung, H. Hsieh, F. Balarin posted to compiled-simulation simulation static timing-annotation by chengyangfu on 2009-05-12 10:20:43 as
	Cycle accurate binary translation for simulation acceleration in rapid prototyping of SoCs [My Copy] Design, Automation and Test in Europe, 2005. Proceedings In Design, Automation and Test in Europe, 2005. Proceedings (2005), pp. 792-797 Vol. 2. by J. Schnerr, O. Bringmann, W. Rosenstiel posted to binary-translation simulation static timing-annotation by chengyangfu on 2009-05-12 08:19:53 as along with 1 person Trent
	Envelope tracking power amplifier with static predistortion linearization [My Copy] Circuit Theory and Design, 2007. ECCTD 2007. 18th European Conference on In Circuit Theory and Design, 2007. ECCTD 2007. 18th European Conference on (2007), pp. 388-391. by H. Harju, T. Rautio, S. Hietakangas, T. Rahkonen posted to dpd et static by hoverste2 on 2009-04-24 21:08:34 as
	Digital predistortion of a Doherty amplifier with a weak memory within a connected solution [My Copy] Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th In Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th, Vol. 3 (2004), pp. 2020-2023 Vol. 3. by Wan-Jong Kim, S. P. Stapleton, Kyoung J. Cho, Jong H. Kim posted to doherty dpd static wcdma by hoverste2 on 2009-04-24 19:25:08 as along with 1 person hoverste
	Accurate identification of static nonlinear properties of wideband RF power amplifiers [My Copy] Microwave and Millimeter Wave Technology, 2008. ICMMT 2008. International Conference on In Microwave and Millimeter Wave Technology, 2008. ICMMT 2008. International Conference on, Vol. 3 (2008), pp. 1351-1354. by Taijun Liu, Yan Ye, S. Boumaiza, M. Helaoui, O. Hammi, F. M. Ghannouchi posted to dhoerty model static by hoverste2 on 2009-04-24 19:22:10 as
	Affine multipicture motion-compensated prediction [My Copy] Circuits and Systems for Video Technology, IEEE Transactions on In Circuits and Systems for Video Technology, IEEE Transactions on, Vol. 15, No. 2. (2005), pp. 197-209. by T. Wiegand, E. Steinbach, B. Girod posted to art bg review static by erensoyak on 2009-04-23 01:19:18 as
	Long-term memory motion-compensated prediction [My Copy] Circuits and Systems for Video Technology, IEEE Transactions on In Circuits and Systems for Video Technology, IEEE Transactions on, Vol. 9, No. 1. (1999), pp. 70-84. by T. Wiegand, Xiaozheng Zhang, B. Girod posted to art bg review static by erensoyak on 2009-04-23 01:18:10 as
	Uncovered Background Prediction in Interframe Coding [My Copy] Communications, IEEE Transactions on In Communications, IEEE Transactions on, Vol. 33, No. 11. (1985), pp. 1227-1231. by N. Mukawa, H. Kuroda posted to art bg review static by erensoyak on 2009-04-23 01:17:56 as
	Two-stage motion compensation using adaptive global MC and local affine MC [My Copy] Circuits and Systems for Video Technology, IEEE Transactions on In Circuits and Systems for Video Technology, IEEE Transactions on, Vol. 7, No. 1. (1997), pp. 75-85. by H. Jozawa, K. Kamikura, A. Sagata, H. Kotera, H. Watanabe posted to art bg review static by erensoyak on 2009-04-23 01:17:44 as
	Do NIRS measures relate to subjective low back discomfort during sedentary tasks? [My Copy] International Journal of Industrial Ergonomics (29 January 2009) by J. Callaghan, D. Gregory, J. Durkin posted to activation back discomfort low muscle pain sitting standing static by belcst on 2009-04-21 08:00:50 as
	Dynamics of a rod in a random static environment: non-Gaussianity at large length scales [My Copy] (24 Mar 2003) by A. J. Moreno, W. Kob posted to a at dynamics environment in large length non-gaussianity of random rod scales static by A_Olympia to the group logics of knowledge on 2009-04-14 10:26:05 as
	Efficient Inference of Static Types for Java Bytecode [My Copy] Static Analysis (2000), pp. 143-155. by Etienne Gagnon, Laurie Hendren, Guillaume Marceau posted to analysis bytecode java static types by ddemange on 2009-04-10 13:56:44 as
	On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis [My Copy] Compiler Construction (2008), pp. 197-212. by Francesco Logozzo, Manuel Fähndrich posted to analysis bytecode code completeness source static by ddemange on 2009-04-10 13:46:53 as
	Certification of compiled assembly code by invariant translation [My Copy] Int. J. Softw. Tools Technol. Transf., Vol. 6, No. 1. (2004), pp. 15-37. by Xavier Rival posted to abstract analysis certified compilation interpretation program static by ddemange on 2009-04-10 13:22:49 as
	Information flow analysis in logical form [My Copy] In In SAS, LNCS 3148 (2004), pp. 100-115. by Torben Amtoft, Anindya Banerjee posted to analysis flow hoare information logic noninterference static by ddemange on 2009-03-30 22:15:41 as
	On flow-sensitive security types [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 79-90. by Sebastian Hunt, David Sands posted to analysis flow flow-sensitivity information non-interference static systems type by ddemange on 2009-03-30 22:06:52 as along with 2 people scavadini tesissvc
	A comparison study of static mapping heuristics for a class of meta-tasks on heterogeneous computing systems [My Copy] Heterogeneous Computing Workshop, 1999. (HCW '99) Proceedings. Eighth In Heterogeneous Computing Workshop, 1999. (HCW '99) Proceedings. Eighth (1999), pp. 15-29. by T. D. Braun, H. J. Siegal, N. Beck, et al.L. L. Boloni, M. Maheswaran, A. I. Reuther, J. P. Robertson, M. D. Theys, Bin Yao, D. Hensgen, R. F. Freund posted to a class comparison computing for heterogeneous heuristics mapping meta-tasks of on static study systems by yuanfangchen on 2009-03-29 10:26:30 as
	Extracting Dynamics from Static Cancer Expression Data [My Copy] IEEE/ACM Trans. Comput. Biol. Bioinformatics, Vol. 5, No. 2. (2008), pp. 172-182. by Anupam Gupta, Ziv B. Joseph posted to data expression gene inference network regulatory static by dolchan on 2009-03-25 19:06:10 as
	Automatic Synthesis of High-Speed Processor Simulators [My Copy] Microarchitecture, 2004. MICRO-37 2004. 37th International Symposium on In Microarchitecture, 2004. MICRO-37 2004. 37th International Symposium on (2004), pp. 55-66. by M. Burtscher, I. Ganusov posted to compiled-simulation static by chengyangfu on 2009-03-12 07:49:00 as
	Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems [My Copy] In ASE '02: Proceedings of the 17th IEEE international conference on Automated software engineering (2002) by Xuejun Chen posted to dependence dependency dynamic invocations management nested reconfiguration static by ricardoerikson on 2009-03-05 13:46:45 as
	Stationary and pulsating dissipative light bullets from a collective variable approach [My Copy] Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Vol. 79, No. 2. (23 February 2009), 026609. by A. Kamagate, Ph, Tchofo P. Dinda, Soto J. M. Crespo, N. Akhmediev posted to analytic dissipation light model numerical pulse soliton static by michaelbussmann on 2009-03-03 14:43:03 as
	An Open Framework for Dynamic Reconfiguration [My Copy] In ICSE '04: Proceedings of the 26th International Conference on Software Engineering (2004), pp. 594-603. by Jamie Hillman, Ian Warren posted to blocking connector dynamic halting openness openrec reconfiguration reflection static transaction by martinrytter on 2009-02-16 12:05:30 as
	Static menisci in a vertical right circular cylinder [My Copy] Journal of Fluid Mechanics, Vol. 34, No. 03. (1968), pp. 481-495. by Paul Concus posted to menisci static surface-tension by chiufanlee on 2009-02-11 11:00:56 as
	Acoustic preference functions and song variability in the Hawaiian cricket Laupala cerasina [My Copy] Proceedings of the Royal Society of London. Series B: Biological Sciences, Vol. 267, No. 1443. (22 March 2000), pp. 577-584. by Kerry L. Shaw, Daniel P. Herlihy posted to and bioacoustics choice cricket dynamic female mate preference properties song static by ludilu on 2009-02-08 11:38:27 as along with 1 person klauso
	Static planar domain wall in general relativity with a cosmological constant [My Copy] International Journal of Theoretical Physics, Vol. 24, No. 12. (1 December 1985), pp. 1159-1164. by B. Linet posted to domain-wall gr planar spr static symmetry-reduced by igorkhavkine on 2009-02-02 16:08:38 as
	Explicit time-reversible orbit integration in Particle In Cell codes with static homogeneous magnetic field [My Copy] Journal of Computational Physics (27 December 2008) by L. Patacchini, I. Hutchinson posted to algorithm explicit field homogeneous integration magnetic orbit particle-in-cell pic simulation static time-reversal by michaelbussmann on 2009-01-14 16:09:42 as
	A type system equivalent to static single assignment [My Copy] In PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming (2006), pp. 249-260. by Yutaka Matsuno, Atsushi Ohori posted to algorithm compilation control-flow optimization ssa static by leguen to the group Verimag-STmicro on 2009-01-06 14:47:48 as
	Program analysis via graph reachability [My Copy] In ILPS '97: Proceedings of the 1997 international symposium on Logic programming (1997), pp. 5-19. by Thomas Reps posted to analysis cfl nasko points-to reachability static by khatchad on 2009-01-02 19:23:22 as along with 3 people mercutio plaugg alphabetagamma
	Demand-driven points-to analysis for Java [My Copy] In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 40, No. 10. (October 2005), pp. 59-76. by Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bod&\#237;k posted to analysis cfl nasko points-to reachability static by khatchad on 2009-01-02 19:22:13 as along with 1 person schuh
	Parameterized object sensitivity for points-to analysis for Java [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 1. (2005), pp. 1-41. by Ana Milanova, Atanas Rountev, Barbara G. Ryder posted to analysis nasko object points-to sensitivity static by khatchad on 2008-11-28 01:34:37 as along with 1 person pedagand
	Static Slicing of Concurrent Object-Oriented Programs [My Copy] In COMPSAC '96: Proceedings of the 20th Conference on Computer Software and Applications (1996) by Jianjun Zhao, Jingde Cheng, Kazuo Ushijim posted to concurrent object-oriented program slicing static by RWeiss on 2008-10-21 09:10:09 as
	The specification and enforcement of authorization constraints in workflow management systems [My Copy] ACM Trans. Inf. Syst. Secur., Vol. 2, No. 1. (February 1999), pp. 65-104. by Elisa Bertino, Elena Ferrari, Vijay Atluri posted to authorization check consistency constraints duties dynamic enforcement formalisation roles separation static user workflow by jfranke on 2008-09-21 15:32:42 as along with 3 people and 1 group charoy ustunyildiz sryll ecoo-pe
	Mechanism for the generation of 109 G magnetic fields in the interaction of ultraintense short laser pulse with an overdense plasma target [My Copy] Physical Review Letters, Vol. 70, No. 20. (17 May 1993), pp. 3075-3078. by R. N. Sudan posted to field force gradient high laser magnetic overdense plasma ponderomotive pulse short static target ultra-intense by michaelbussmann on 2008-08-29 15:47:55 as
	Compilers : principles, techniques, and tools [My Copy] (01 January 1988) by Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman posted to analysis compilers parsing static by eabait on 2008-08-25 14:20:17 as along with 6 people and 1 group mattbiehl camster yaroslavvb ujh jrw leidner dbk-lab
	Tracking defect warnings across versions [My Copy] In MSR '06: Proceedings of the 2006 international workshop on Mining software repositories (2006), pp. 133-136. by Jaime Spacco, David Hovemeyer, William Pugh posted to analysis bug findbugs histories java msr static tracking by iaki on 2008-07-31 08:42:40 as

Note: You may cite this page as: http://www.citeulike.org/tag/static

Result page: 1 2 3 Next

analysis	61
dynamic	20
wcet	18
cache	16
data	11
algorithm	7
instruction	7
abstract	6
interpretation	6
nasko	6
simulation	6
checking	5
completeness	5
program	5
art	4
bg	4
field	4
information	4
locking	4
predictability	4
relative	4
review	4
synthesis	4
cme	3
code	3
compiled-simulation	3
direct-map	3
engineering	3
inference	3
java	3
magnetic	3
mapping	3
model	3
model-checking	3
network	3
null	3
of	3
partitioning	3
persistence	3
pointer	3
points-to	3
programming	3
security	3
software	3
timing-annotation	3
trace	3
tracking	3
verification	3
address	2
algorithm-portfolios	2
algorithm-selection	2
aspect	2
at	2
bytecode	2
compilation	2
compilers	2
conformance	2
data-flow	2
database	2
datarace	2
dimensionality-reduction	2
dpd	2
electric	2
embedded	2
environment	2
errors	2
expression	2
feature	2
flow	2
full	2
gene	2
in	2
language	2
large	2
laser	2
lattice	2
length	2
lisp	2
location	2
logic	2
management	2
mining	2
modeling	2
multi-core	2
must	2
non-gaussianity	2
on	2
parallel-computing	2
parsing	2
pulse	2
random	2
reachability	2
reconfiguration	2
reflection	2
rod	2
scales	2
ser	2
systems	2
type	2
web	2

Tag static [108 articles] Export

Related Tags