10707 search results - page 1811 / 2142 » Designing executable abstractions |
203
click to vote
MIRAGE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We describe an algorithm for fitting a Catmull-Clark subdivision surface model to an unstructured, incomplete and noisy data set. We complete the large missing data regi...
187
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
205
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
191
click to vote
NPC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Distributed applications running on clusters may be composed of several components with very different performance requirements. The FlowVR middleware allows the develop...
191
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Over the last years, research efforts have led the way to embed computation into the environment. Much attention is drawn to technologies supporting dynamicity and mobil...