1228 search results - page 148 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
161
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...
180
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
166
click to vote
TAICPART
2006
IEEE
16 years 11 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
159
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Sequential place and route tools for FPGAs are inherently weak at addressing both wirability and timing optimizations. This is primarily due to the difficulty in predicting these ...
154
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we present an application of explanation-based learning (EBL) in the parsing module of a real-time English-Spanish machine translation system designed to translate c...