1477 search results - page 100 / 296 » Token flow control |
132
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a method for assimilating Lagrangian sensor measurement data into a Shallow Water Equation model. Using our method, the variational data assimilation problem is formulat...
128
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
135
Voted
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
125
Voted
CODES
1996
IEEE
15 years 7 months ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
123
Voted
VISUALIZATION
1992
IEEE
15 years 7 months ago
1992
IEEE
We describe an implementation of a virtual environment for visualizing the geometry of curved spacetime by the display of interactive geodesics. This technique displays the paths ...