9626 search results - page 1648 / 1926 » Invariant Based Programming |
180
click to vote
DEXA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper presents an application that aims at identifying optimal locations based on partially ordered constraints. It combines a tool developed in this project that al...
146
click to vote
DFG
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
160
click to vote
ESTIMEDIA
2004
Springer
16 years 1 days ago
2004
Springer
— Workload design is a well recognized problem in the domain of microprocessor design. Different program characteristics that influence the selection of a representative workloa...
191
click to vote
GECCO
2004
Springer
16 years 23 hour ago
2004
Springer
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...
171
click to vote
HIPC
2004
Springer
16 years 21 hour ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...