29172 search results - page 379 / 5835 » Modeling Systems in CLP |
157
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper simulates a typical indoor MIMO-UWB OFDM system using computational electromagnetics. The goal is to create a simulation using a real world environment and taking int...
177
click to vote
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
176
Voted
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
197
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
An important issue for federated systems of diverse data sources is optimizing cross-source queries, without building knowledge of individual sources into the optimizer. This pape...
196
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....