Sciweavers

5630 search results - page 12 / 1126
» Computability in Specification
Sort
View
70
Voted
SOFSEM
2009
Springer
15 years 11 months ago
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
Thomas Chatain, Paul Gastin, Nathalie Sznajder
92
Voted
ARITH
2009
IEEE
15 years 9 months ago
Implementation Specific Verification of Divide and Square Root Instructions
Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman...
88
Voted
UIC
2009
Springer
15 years 9 months ago
Fine-Grained Evaluation of Local Positioning Systems for Specific Target Applications
Erwin Aitenbichler, Fernando Lyardet, Aristotelis ...