3256 search results - page 335 / 652 » Applications of Formal Methods to System Design and Verifica... |
184
click to vote
JNCA
2007
15 years 6 months ago
2007
Cooperation and autonomy are two antagonistic core variables of agent-based systems, and a key challenge in designing such systems is to balance these variables appropriately. Thi...
188
click to vote
RTAS
2007
IEEE
16 years 29 days ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
139
click to vote
GMP
2006
IEEE
16 years 22 days ago
2006
IEEE
Proper treatment of selections is essential in parametric feature-based design. Data exchange is one of the most important operators in any design paradigm. In this paper we addre...
229
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
174
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
It has been widely recognized that the dynamic range information of an application can be exploited to reduce the datapath bitwidth of either processors or ASICs, and therefore th...