17932 search results - page 3232 / 3587 » Wireless communications systems |
236
click to vote
CLOUD
2010
ACM
16 years 20 days ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
226
click to vote
PLDI
2010
ACM
16 years 20 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
221
click to vote
MPC
2010
Springer
16 years 11 days ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
222
click to vote
CHARME
2001
Springer
16 years 3 days ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
196
click to vote
ICSE
2001
IEEE-ACM
16 years 1 days ago
2001
IEEE-ACM
An emerging tapestry of computations will soon integrate systems around the globe. It will evolve without central control. Its complexity will be vast. We need new ideas, tools an...