Sciweavers

2007 search results - page 168 / 402
» Using general-purpose programming languages for FPGA design
Sort
View
ICMI
2003
Springer
164views Biometrics» more  ICMI 2003»
15 years 8 months ago
A visually grounded natural language interface for reference to spatial scenes
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
Peter Gorniak, Deb Roy
115
Voted
PLDI
2012
ACM
13 years 5 months ago
Language-based control and mitigation of timing channels
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
RV
2009
Springer
155views Hardware» more  RV 2009»
15 years 8 months ago
Hardware Supported Flexible Monitoring: Early Results
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
Antonia Zhai, Guojin He, Mats Per Erik Heimdahl
129
Voted
IRI
2007
IEEE
15 years 9 months ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
132
Voted
ENTCS
2002
107views more  ENTCS 2002»
15 years 3 months ago
Declarative Debugging for Encapsulated Search
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...
Rafael Caballero, Wolfgang Lux