909 search results - page 136 / 182 » Generic Programming: An Introduction |
82
Voted
FDL
2007
IEEE
15 years 2 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
100
Voted
FOSSACS
2006
Springer
15 years 2 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
84
Voted
AGP
1998
IEEE
15 years 2 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
89
Voted
SPLC
2008
15 years 9 days ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
AAAI
2004
15 years 9 days ago
2004
Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user o...