Sciweavers

2696 search results - page 308 / 540
» Semantic Abstraction and Anaphora
Sort
View
IBERAMIA
2004
Springer
15 years 12 months ago
Towards CNC Programming Using Haskell
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germ&a...
ICCS
2004
Springer
15 years 12 months ago
Simulation Coercion Applied to Multiagent DDDAS
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
Yannick Loitière, David C. Brogan, Paul F. ...
IFIP
2004
Springer
15 years 12 months ago
Effective Chemistry for Synchrony and Asynchrony
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
Deepak Garg, Akash Lal, Sanjiva Prasad
WCRE
2002
IEEE
15 years 11 months ago
Finding High-Level Structures in Spreadsheet Programs
Spreadsheets are a common tool in end-user programming. But even while important decisions are based on spreadsheet computations, spreadsheets are poorly documented software and t...
Roland Mittermeir, Markus Clermont
GI
2009
Springer
15 years 11 months ago
Constraint Functional Multicore Programming
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
Petra Hofstedt, Florian Lorenzen