Sciweavers

933 search results - page 65 / 187
» How compilers and tools differ for embedded systems
Sort
View
TIME
2005
IEEE
14 years 2 months ago
Axiomatisation and Decidability of Multi-dimensional Duration Calculus
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
Andreas Schäfer
BTW
2009
Springer
168views Database» more  BTW 2009»
14 years 4 days ago
Embedded Analytics in Front Office Applications
: Today, decision making by users of front office applications happens without analytical information supporting this process. We propose as solution Embedded Analytics (EA) making...
Martin Oberhofer, Erik Nijkamp
ACL
1997
13 years 10 months ago
Probing the Lexicon in Evaluating Commercial MT Systems
In the past the evaluation of machine translation systems has focused on single system evaluations because there were only few systems available. But now there are several commerc...
Martin Volk
SERP
2003
13 years 10 months ago
Integrated Tools for Performance-Oriented Distributed Software Development
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...
Nicola Mazzocca, Emilio Mancini, Massimiliano Rak,...
WSC
1997
13 years 10 months ago
Creating a Flexible, Simulation-Based Finite Scheduling Tool
Today's business climate for manufacturers requires low inventory, quick response systems that turn out a wide variety of products. Since many companies are reaching physical...
Barbara W. Mazziotti, Richard E. Horne Jr.