3736 search results - page 174 / 748 » Hand-Writing Program Generator Generators |
156
click to vote
RTSS
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
143
click to vote
ICTAI
2009
IEEE
16 years 24 days ago
2009
IEEE
Inference in constraint programming is usually based on the deductions generated by individual constraints which are then communicated to other constraints through domain filteri...
185
click to vote
PPDP
2009
Springer
16 years 21 days ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
168
click to vote
MDM
2007
Springer
16 years 8 days ago
2007
Springer
Data broadcast is a technique to realize energy saving and bandwidth utilization in a mobile computing environment. However, traditional schemes schedule data items without consid...
142
click to vote
ICECCS
2000
IEEE
15 years 10 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...