Sciweavers

1228 search results - page 184 / 246
» Continuations, proofs and tests
Sort
View
73
Voted
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
15 years 4 months 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
15 years 4 months 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
15 years 4 months 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»
15 years 4 months 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»
15 years 4 months 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