1445 search results - page 150 / 289 » Uniformly Hard Languages |
136
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
121
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
109
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe the implementation and use of a reverse compiler from Analog Devices 21xx assembler source to ANSI-C with optional use of the language extensions for the TMS320C6x pr...
125
click to vote
ER
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...
123
click to vote
ACMIDC
2008
15 years 6 months ago
2008
Very young non- or hardly speaking children with severe disabilities need active guidance to stimulate interaction with their environment in order to develop their communicative a...