3844 search results - page 77 / 769 » Modular interpreted systems |
115
click to vote
MHCI
2009
Springer
15 years 6 months ago
2009
Springer
The aether soon will be pervaded with a high density of digital services for usage on mobile phones. Personalization plays a crucial role for the success and acceptance of such sy...
FORTE
1990
15 years 1 months ago
1990
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
ASPDAC
2001
ACM
15 years 3 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...
116
click to vote
SACMAT
2011
ACM
14 years 2 months ago
2011
ACM
t http://www.brucker.ch/bibliography/abstract/ brucker.ea-model-based-2011 by permission of ACM for your personal use. Not for redistribution. The definitive version was published...