1469 search results - page 81 / 294 » Design and Implementation of Software Objects in Hardware |
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
FMSD
2006
13 years 9 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
ISSS
1999
IEEE
14 years 1 months ago
1999
IEEE
The Motorola System on Chip Design Technologies (SoCDT) team aims at providing a system design environment for its customers. The Toulouse branch concentrates on design efforts in...
PPPJ
2009
ACM
14 years 4 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
Problem Solving Environments have a well established position as an essential tool for computational science. We focus our attention in this article on how to provide parallel com...