1884 search results - page 266 / 377 » Simple Algorithm for Simple Timed Games |
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...
257
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
148
Voted
DMG
2005
Springer
15 years 7 months ago
2005
Springer
Grid services provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. We are developing a data grid s...
118
Voted
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Visual vocabulary construction is an integral part of the popular Bag-of-Features (BOF) model. When visual data scale up (in terms of the dimensionality of features or/an...
128
click to vote
ECRTS
1999
IEEE
15 years 6 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...