1809 search results - page 342 / 362 » Software Model Checking Using Linear Constraints |
183
Voted
LCTRTS
2009
Springer
16 years 1 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
157
Voted
ITCC
2005
IEEE
15 years 12 months ago
2005
IEEE
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
169
Voted
CODES
2008
IEEE
16 years 25 days ago
2008
IEEE
Body-area sensor network or BAN-based health monitoring is increasingly becoming a popular alternative to traditional wired bio-monitoring techniques. However, most biomonitoring ...
184
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: Over the last few years, genome-wide association (GWA) studies became a tool of choice for the identification of loci associated with complex traits. Currently, impute...
210
Voted
FSTTCS
2009
Springer
16 years 28 days ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...