4350 search results - page 405 / 870 » Case studies for contract-based systems |
216
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
169
click to vote
ARC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an overview regarding the synthesis of regular expressions targeting FPGAs. It describes current solutions and a number of open issues. Implementation of regula...
184
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
171
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate a...
153
click to vote
HICSS
2005
IEEE
16 years 15 days ago
2005
IEEE
Nicholas Carr’s question “Does IT Matter?”(to the maintenance of competitive advantage) has been applied to many industries but the one that depends on IT almost exclusively...