1660 search results - page 127 / 332 » Abstract Application Modeling for System Design Space Explor... |
113
Voted
ACMDIS
2006
ACM
15 years 10 months ago
2006
ACM
We explore the application of a wiki-based technology and style of interaction to enabling the incremental translation of a collaborative application into a number of different la...
160
click to vote
AC
1998
Springer
15 years 3 months ago
1998
Springer
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...
137
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
122
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
151
Voted
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...