3742 search results - page 352 / 749 » On the Use of Formal Techniques for Validation |
182
Voted
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
The rapid progress of computers and today's heterogeneous computing environment means computation-intensive signal processing algorithms must be optimized for performance in ...
158
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
165
click to vote
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper describes the application of a hybrid genetic algorithm to a real-world instance of the university course timetabling problem. We address the timetabling of la...
199
click to vote
APN
2009
Springer
16 years 1 months ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
175
click to vote
ICECCS
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...