1469 search results - page 129 / 294 » Design and Implementation of Software Objects in Hardware |
AC
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
ACSD
2006
IEEE
15 years 4 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
We present an architectural style for the integration of multiple real-time data feeds on Windows-NT platforms. We motivate the development of this style by highlighting different...
DRM
2003
Springer
15 years 3 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...