1774 search results - page 226 / 355 » Modeling and implementing software architecture with acme an... |
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
DAC
2000
ACM
14 years 10 months ago
2000
ACM
Technology extrapolation -- the calibration and prediction of achievable design in future technology generations ? drives the evolution of VLSI system architectures, design method...
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...