1154 search results - page 154 / 231 » Mathematizing C concurrency |
FPL
2006
Springer
14 years 24 days ago
2006
Springer
Many compute-intensive applications generate single result values by accessing clusters of nearby points in grids of one, two, or more dimensions. Often, the performance of FGPA i...
ICSE
2000
IEEE-ACM
14 years 22 days ago
2000
IEEE-ACM
Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as co...
CAV
1997
Springer
14 years 21 days ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
SGP
2007
13 years 11 months ago
2007
Reconstruction of surfaces from huge collections of scanned points often requires out-of-core techniques, and most such techniques involve local computations that are not resilien...
FGCN
2007
IEEE
13 years 11 months ago
2007
IEEE
Recently, Voice over IP (VoIP) has become an important service for the future internet. However, for ubiquitous wireless VoIP services, greater coverage will be necessary as promi...