1497 search results - page 255 / 300 » A Computational Model for Message Passing |
FM
2006
Springer
13 years 11 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
: This work tries to reuse programmable communication resources like a Network-on-Chip (NoC) in the acceleration of image applications. We show a mathematical model for the computa...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
This is a critical design paper offering a possible scenario of use intended to provoke reflection about values and politics of design in persuasive computing. We describe the des...
CLUSTER
2004
IEEE
13 years 11 months ago
2004
IEEE
Gang Scheduling and related techniques are widely believed to be necessary for efficientjob scheduling on distributed memory parallel computers. This is hecause they minimize cont...
SMA
1999
ACM
14 years 8 days ago
1999
ACM
Accurate prediction of the swept volume of a cutting tool is essential in NC verification algorithms for detecting deficiencies in a proposed tool path, such as gouging, undercutt...