1304 search results - page 237 / 261 » Model Checking C Programs Using F-SOFT |
162
click to vote
ICARCV
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we propose solutions to real time simulation and interaction of deformable objects in virtual reality. Firstly, we present LEM - Long Element Method, a method creat...
123
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
132
click to vote
CONCURRENCY
1998
15 years 2 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
176
click to vote
MOBIHOC
2005
ACM
16 years 2 months ago
2005
ACM
We consider a wireless sensor network in which sensors are grouped into clusters, each with its own cluster head (CH). Each CH collects data from sensors in its cluster and relays...
106
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Nested paging is a hardware solution for alleviating the software memory management overhead imposed by system virtualization. Nested paging complements existing page walk hardwar...