2430 search results - page 380 / 486 » Tool support for quality-driven development of software arch... |
122
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
120
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
105
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
82
Voted
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...
WEBENG
2001
Springer
15 years 6 months ago
2001
Springer
This paper introduces the Web Engineering Resources Portal (shortly WEP), as a basic Reference Model and Guide for the Web Engineers. WEP provides a general classification of Web E...