1210 search results - page 81 / 242 » Environment for Multiprocessor Simulator Development |
108
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
131
click to vote
GRID
2007
Springer
15 years 8 months ago
2007
Springer
Since grid computing provides users with more distributed computing and storage resources, it gives us an opportunity to design new efficient and robust solvers for the numerical...
112
Voted
WCAE
2006
ACM
15 years 8 months ago
2006
ACM
Learning the various structures and levels of memory hierarchy by means of conventional procedures is a complex subject. A memory hierarchy environment (Web-MHE) was proposed and ...
118
Voted
CGI
1997
IEEE
15 years 6 months ago
1997
IEEE
The recent developments in image-based rendering have enabled a representation of virtual environments based on a simulation of panoramas, which we call virtual panoramas. Current...
146
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
We investigate the application of a low-cost, pervasively distributed network to plan paths for mobile robots in environments with dynamic obstacles. We consider a heterogeneous s...