427 search results - page 33 / 86 » Simulation of Advanced Transaction Models Using GOLOG |
RT
1999
Springer
14 years 1 months ago
1999
Springer
The dramatically increasing size of polygonal models resulting from 3D scanning devices and advanced modeling techniques requires new approaches to reduce the load of geometry tran...
WSC
2001
13 years 10 months ago
2001
Recent advances in low-power embedded processors, radios, and micro-mechanical systems (MEMs) have made possible the development of networks of wirelessly interconnected sensors. ...
ERCIM
2007
13 years 8 months ago
2007
sented by abstract mathematical structures, and visualization is used to convert these into pictures. At the core of every simulation is a mathematical model that is evaluated by a...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
CIMCA
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes an innovative work for nanorobot design and manufacturing, using a computer simulation and system on chip prototyping approach. The use of CMOS as integrated ...