Sciweavers

1228 search results - page 184 / 246
» Continuations, proofs and tests
Sort
View
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
14 years 23 days ago
The parabigeminal nucleus as a recursive estimator
— The parabigeminal nucleus (PBN) is known to estimate the retinal position error (RPE) of an intended target. Recently it has been discovered that PBN activity continues to enco...
Rui Ma, Todd P. Coleman, Joseph G. Malpeli
SLE
2009
Springer
14 years 17 days ago
Closing the Gap between Modelling and Java
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
EUROPAR
2001
Springer
14 years 16 days ago
Load Redundancy Elimination on Executable Code
Optimizations performed at link time or directly applied to nal program executables have received increased attention in recent years. This paper discuss the discovery and elimina...
Manel Fernández, Roger Espasa, Saumya K. De...
GLVLSI
2000
IEEE
113views VLSI» more  GLVLSI 2000»
14 years 14 days ago
A novel technique for sea of gates global routing
We present a novel global routing and cross-point assignment methodology for sea-of-gates (SOG) designs. Using the proposed congestion driven spanning trees (CDST), and continuous...
Bharat Krishna, C. Y. Roger Chen, Naresh Sehgal
HICSS
2000
IEEE
135views Biometrics» more  HICSS 2000»
14 years 14 days ago
The IT Performance Evaluation in the Construction Industry
To date there has been limited published work in the construction management and engineering literature that has provided empirical evidence to demonstrate that IT can improve org...
Heng Li, Zahir Irani, Peter E. D. Love