1234 search results - page 245 / 247 » A Scheduling and Pipelining Algorithm for Hardware Software ... |
138
click to vote
SENSYS
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present a novel platform for underwater sensor networks to be used for long-term monitoring of coral reefs and fisheries. The sensor network consists of static a...
132
click to vote
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
116
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
Networks on Chip (NoC) have emerged as the design paradigm for scalable System on Chip communication infrastructure. A growing number of applications, often with firm (FRT) or so...
128
click to vote
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
134
click to vote
COMGEO
2010
ACM
15 years 3 months ago
2010
ACM
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...