4693 search results - page 84 / 939 » Verifying Hybrid Systems |
80
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
ICSE
2004
IEEE-ACM
16 years 21 days ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
101
Voted
CC
2010
Springer
15 years 7 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
104
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
105
Voted
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...