3706 search results - page 577 / 742 » The Transformational Approach to Program Development |
262
click to vote
FAABS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
155
click to vote
PVM
2004
Springer
16 years 5 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
192
click to vote
INFOCOM
2003
IEEE
16 years 3 days ago
2003
IEEE
— We seek to maximize the data throughput of an energy and time constrained transmitter sending data over a fading channel. The transmitter has a fixed amount of energy and a li...
179
click to vote
AC
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
181
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
The objective of this research is to develop tools and methods for system-level optimization of embedded software that is executed on system-on-chip platforms. In particular, this...