1362 search results - page 148 / 273 » The Projection of Systolic Programs |
138
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
133
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
137
click to vote
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
141
click to vote
SBACPAD
2005
IEEE
15 years 10 months ago
2005
IEEE
The time required to simulate a complete benchmark program using the cycle-accurate model of a microprocessor can be prohibitively high. One of the proposed methodologies, represe...
136
click to vote
DRM
2003
Springer
15 years 10 months ago
2003
Springer
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...