2435 search results - page 355 / 487 » System Exploration of SystemC Designs |
139
Voted
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
128
click to vote
VLSI
2007
Springer
15 years 10 months ago
2007
Springer
— In the future, high performance computing systems may consist of multiple multicore processors and reconfigurable logic coprocessors. Industry trends indicate that such coproc...
120
Voted
SAC
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
167
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
153
Voted
WABI
2005
Springer
15 years 10 months ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...