3844 search results - page 164 / 769 » Modular interpreted systems |
139
Voted
ENTCS
2007
15 years 3 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
129
Voted
PAMI
2002
15 years 3 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
145
Voted
ISSTA
1993
ACM
15 years 7 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...
129
Voted
DEDS
2006
15 years 3 months ago
2006
A class of time-varying discrete-event systems, named dynamic discrete-event systems, is defined. The goal of this paper is to provide a method which is modular and can be applied ...
137
click to vote
HOTOS
1997
IEEE
15 years 7 months ago
1997
IEEE
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...