2036 search results - page 51 / 408 » A generic type-and-effect system |
124
Voted
AHS
2006
IEEE
15 years 6 months ago
2006
IEEE
— This invited paper overviews the low level debug support hardware required for an on-chip predeployment debugging system for sensor networks. The solution provides significant...
99
Voted
SP
2005
IEEE
15 years 6 months ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
92
Voted
GROUP
2003
ACM
15 years 5 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
102
Voted
ADAEUROPE
2001
Springer
15 years 5 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
95
Voted
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents an architectural study of a scalable system-level interconnection template. We explain why the shared bus, which is today's dominant template, will not me...