1477 search results - page 100 / 296 » Token flow control |
182
Voted
CDC
2009
IEEE
15 years 7 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...
165
click to vote
CONCUR
2009
Springer
16 years 1 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...
178
click to vote
HASE
2008
IEEE
16 years 1 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...
167
click to vote
CODES
1996
IEEE
15 years 11 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...
167
click to vote
VISUALIZATION
1992
IEEE
15 years 10 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 ...