7529 search results - page 385 / 1506 » The Modula-3 Type System |
157
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
183
click to vote
EUROMICRO
2005
IEEE
16 years 12 days ago
2005
IEEE
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
162
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...
180
click to vote
ISPDC
2005
IEEE
16 years 11 days ago
2005
IEEE
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
199
click to vote
SISW
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper describes a system that supports high availability of data, until the data should be expunged, at which time it is impossible to recover the data. This design supports ...