1134 search results - page 61 / 227 » Composing Tests from Examples |
ISSTA
2009
ACM
15 years 3 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
106
click to vote
NIPS
2003
15 years 15 days ago
2003
We describe a nonparametric Bayesian approach to generalizing from few labeled examples, guided by a larger set of unlabeled objects and the assumption of a latent tree-structure ...
MIPS
2004
Springer
15 years 4 months ago
2004
Springer
We present the development and experimentation of a distributed system for pervasive video communication on gigabit networks. We have implemented an event-based control mechanism f...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
SEE
1997
Springer
15 years 3 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...