1080 search results - page 84 / 216 » Modeling Constraint Programs with Software Technology Standa... |
185
click to vote
FMSD
2002
15 years 6 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
155
click to vote
ISCA
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper presents core fusion, a reconfigurable chip multiprocessor (CMP) architecture where groups of fundamentally independent cores can dynamically morph into a larger CPU, ...
164
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
145
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
154
click to vote
INAP
2001
Springer
15 years 10 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...