528 search results - page 19 / 106 » Construction of concrete verification models from C |
FORMATS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
APLAS
2008
ACM
15 years 12 days ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
ENTCS
2006
14 years 10 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
WOWMOM
2005
ACM
15 years 4 months ago
2005
ACM
Constructing indoor radio maps plays an important role in many services and applications such as wireless base station planning. In this paper, we propose a hybrid approach to con...
WSC
1998
14 years 11 months ago
1998
Hong Kong possesses one of the world's largest public housing stocks which provide accommodation for 3.1 million people. To meet the growing need for public housing, the gove...