6719 search results - page 1078 / 1344 » A Generalization of Automatic Sequences |
203
Voted
VL
1992
IEEE
15 years 11 months ago
1992
IEEE
If future electronic documents are to be truly useful, we must devise ways to automatically turn them into knowledgebases. In particular, we must be able to do this for diagrams. ...
188
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
181
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
222
click to vote
BIOWIRE
2007
Springer
15 years 11 months ago
2007
Springer
Desynchronization is a novel primitive for sensor networks: it implies that nodes perfectly interleave periodic events to occur in a round-robin schedule. This primitive can be us...
176
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...