3395 search results - page 340 / 679 » Circuit-aware architectural simulation |
174
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...
172
click to vote
DSRT
2006
IEEE
16 years 24 days ago
2006
IEEE
The pace of technological change requires applications to constantly evolve. Service Oriented Architecture (SOA) promises to render this evolution more flexible. We present a cas...
212
click to vote
ISVLSI
2006
IEEE
16 years 23 days ago
2006
IEEE
Power consumption has been the primary issue in processor design, with various power reduction strategies being adopted from system-level to circuitlevel. In order to develop a po...
151
click to vote
EUROCAST
2005
Springer
16 years 8 days ago
2005
Springer
This article is a first approach to the use of Rete algorithm to design a team of robotic soccer playing agents for Robocup Soccer Server. Rete algorithm is widely used to design ...
121
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we present our first experiences using Simics, a simulator which allows full-system simulation of multiprocessor architectures. We carry out a detailed performance ...