Sciweavers

4198 search results - page 704 / 840
» Data Parallel Program Design
Sort
View
108
Voted
MTV
2007
IEEE
121views Hardware» more  MTV 2007»
15 years 9 months ago
Chico: An On-chip Hardware Checker for Pipeline Control Logic
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
Andrew DeOrio, Adam Bauserman, Valeria Bertacco
141
Voted
GECCO
2009
Springer
193views Optimization» more  GECCO 2009»
15 years 7 months ago
Optimization of dynamic memory managers for embedded systems using grammatical evolution
New portable consumer embedded devices must execute multimedia applications (e.g., 3D games, video players and signal processing software, etc.) that demand extensive memory acces...
José L. Risco-Martín, David Atienza,...
200
Voted
SIGMOD
2007
ACM
132views Database» more  SIGMOD 2007»
16 years 2 months ago
A dynamic and flexible sensor network platform
SwissQM is a novel sensor network platform for acquiring data from the real world. Instead of statically hand-crafted programs, SwissQM is a virtual machine capable of executing b...
Donald Kossmann, Gustavo Alonso, Jan S. Rellermeye...
120
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
Eric Wohlstadter, Stoney Jackson, Premkumar T. Dev...
ICSE
2005
IEEE-ACM
16 years 2 months ago
A cross-program investigation of students' perceptions of agile methods
Research was conducted on using agile methods in software engineering education. This paper explores the perceptions of students from five different academic levels of agile pract...
Grigori Melnik, Frank Maurer