1216 search results - page 88 / 244 » Hybrid type checking |
121
Voted
TCS
2010
15 years 2 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
119
click to vote
CICLING
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
159
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
155
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
127
Voted
CL
1999
Springer
15 years 3 months ago
1999
Springer
It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of ine ciency comes from th...