Sciweavers

2613 search results - page 242 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
ERSA
2008
93views Hardware» more  ERSA 2008»
15 years 8 months ago
Multiparadigm Computing for Space-Based Synthetic Aperture Radar
Projected computational requirements for future space missions are outpacing technologies and trends in conventional embedded microprocessors. In order to meet the necessary levels...
Adam Jacobs, Grzegorz Cieslewski, Casey Reardon, A...
FUIN
2010
137views more  FUIN 2010»
15 years 4 months ago
Extending and Implementing RASP
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
Stefania Costantini, Andrea Formisano, Davide Pett...
ICCAD
2007
IEEE
132views Hardware» more  ICCAD 2007»
16 years 3 months ago
Principle Hessian direction based parameter reduction with process variation
— As CMOS technology enters the nanometer regime, the increasing process variation is bringing manifest impact on circuit performance. In this paper, we propose a Principle Hessi...
Alexander V. Mitev, Michael Marefat, Dongsheng Ma,...
OOPSLA
2007
Springer
16 years 29 days ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden
EDM
2010
140views Data Mining» more  EDM 2010»
15 years 8 months ago
Assessing Reviewer's Performance Based on Mining Problem Localization in Peer-Review Data
Current peer-review software lacks intelligence for responding to students' reviewing performance. As an example of an additional intelligent assessment component to such soft...
Wenting Xiong, Diane J. Litman, Christian D. Schun...