Sciweavers

1054 search results - page 93 / 211
» Guarded Expressions in Practice
Sort
View
171
Voted
IWINAC
2009
Springer
16 years 21 days ago
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals ...
Guido Sciavicco, José M. Juárez, Man...
OOPSLA
2009
Springer
16 years 20 days ago
Language factories
Programming languages are the primary mechanism by which software is created, yet most of us have access to only a few, fixed, programming languages. Any problem we wish to expre...
Tony Clark, Laurence Tratt
169
Voted
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
16 years 18 days ago
On Automated Trigger Event Generation in Post-Silicon Validation
When searching for functional bugs in silicon, debug data is acquired after a trigger event occurs. A trigger event can be configured at run-time using a set of control registers...
Ho Fai Ko, Nicola Nicolici
152
Voted
GLOBECOM
2008
IEEE
16 years 18 days ago
Capacity Analysis for OFDM Systems with Transceiver I/Q Imbalance
—OFDM systems have gained utmost importance for wireless communications requiring ever higher data rates. The maximum data rate that can be achieved is, however, limited by the w...
Stefan Krone, Gerhard Fettweis
GLOBECOM
2008
IEEE
16 years 18 days ago
A General Exact Formulation for the Outage Probability in Interference-Limited Systems
—This paper presents a useful, novel formulation for the outage probability in interference-limited communication systems, here named Joint Outage Probability (JOP). Given a set ...
Flávio du Pin Calmon, Michel Daoud Yacoub