221 search results - page 40 / 45 » A Quality Circle Tool for Software Models |
109
click to vote
STTT
2010
14 years 6 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
122
click to vote
OPODIS
2004
15 years 1 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
104
click to vote
CC
2006
Springer
15 years 3 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
100
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...
110
click to vote
MSWIM
2003
ACM
15 years 5 months ago
2003
ACM
– Wireless mobile access to the Internet is an indispensable tool for private and corporate users alike; but both industry and academia recognize the need for better service. Imp...