2943 search results - page 245 / 589 » Software Implementation of Synchronous Programs |
117
Voted
ICDCS
1996
IEEE
15 years 7 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
160
Voted
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
156
Voted
ICPADS
2010
IEEE
15 years 1 months ago
2010
IEEE
The MapReduce programming model simplifies large-scale data processing on commodity clusters by having users specify a map function that processes input key/value pairs to generate...
118
Voted
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a framework to design a shared memory multiprocessor on a programmable platform. We propose a complete flow, composed by a programming model and a template ar...
122
Voted
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...