3256 search results - page 301 / 652 » Applications of Formal Methods to System Design and Verifica... |
160
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
A major problem in the development of distributed applications is that we cannot assume that the environment in which the application is to operate will remain the same. This mean...
195
click to vote
FPL
2004
Springer
16 years 17 hour ago
2004
Springer
Abstract. Evolvable Hardware (EHW) is a scheme - inspired by natural evolution, for automatic design of hardware systems. By exploring a large design search space, EHW may find so...
291
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
175
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a methodology for monitoring security in Application Specific Instruction-set Processors (ASIPs). This is a generalized methodology for inline monitoring insec...
177
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Abstract-- The design of application-specific instruction set processor (ASIP) system includes at least three interdependent tasks: microarchitecture design, instruction set design...