Sciweavers

743 search results - page 79 / 149
» Realtime garbage collection
Sort
View
ENTCS
2002
107views more  ENTCS 2002»
14 years 11 months ago
Monitoring, Checking, and Steering of Real-Time Systems
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin...
ECIR
2010
Springer
15 years 19 days ago
Statistics of Online User-Generated Short Documents
User-generated short documents assume an important role in online communication due to the established utilization of social networks and real-time text messaging on the Internet. ...
Giacomo Inches, Mark James Carman, Fabio Crestani
CONCUR
1998
Springer
15 years 3 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
93
Voted
BMCBI
2008
126views more  BMCBI 2008»
14 years 11 months ago
FCI: an R-based algorithm for evaluating uncertainty of absolute real-time PCR quantification
Background: FCI is an R code for analyzing data from real-time PCR experiments. This algorithm estimates standard curve features as well as nucleic acid concentrations and confide...
Paolo Verderio, Sara Pizzamiglio, Fabio Gallo, Sim...
WADS
2001
Springer
182views Algorithms» more  WADS 2001»
15 years 3 months ago
On the Complexity of Scheduling Conditional Real-Time Code
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
Samarjit Chakraborty, Thomas Erlebach, Lothar Thie...