1523 search results - page 227 / 305 » Partially ordered secretaries |
106
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— In this paper we give conditions that a discrete time switched linear systems must satisfy if it is stable. We do this by calculating the mean and covariance of the set of matr...
99
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
132
Voted
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
93
Voted
CIA
2001
Springer
15 years 5 months ago
2001
Springer
We consider marketplaces where buyers and sellers iteratively encounter to trade. Given some specific trade conditions, the question that we address is what strategies should buy...
98
Voted
FPGA
2001
ACM
15 years 5 months ago
2001
ACM
The partial reconfiguration feature of some of the currentgeneration Field Programmable Gate Arrays (FPGAs) can improve dependability by detecting and correcting errors in onchip ...