Sciweavers

706 search results - page 116 / 142
» Super Solutions in Constraint Programming
Sort
View
RTSS
2002
IEEE
15 years 4 months ago
Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
Insik Shin, Insup Lee, Sang Lyul Min
COMPSAC
2009
IEEE
15 years 3 months ago
Tamper Resistance for Software Defined Radio Software
The security of software defined radio (SDR) software is essential to the trustworthiness of the overall radio system. When designing and developing security solutions for SDR sof...
Shucai Xiao, Jung-Min Park, Yanzhu Ye
82
Voted
LREC
2008
180views Education» more  LREC 2008»
15 years 1 months ago
Romanian Semantic Role Resource
Semantic databases are a stable starting point in developing knowledge based systems. Since creating language resources demands many temporal, financial and human resources, a pos...
Diana Trandabat, Maria Husarciuc
ESA
2010
Springer
162views Algorithms» more  ESA 2010»
14 years 12 months ago
Solving an Avionics Real-Time Scheduling Problem by Advanced IP-Methods
We report on the solution of a real-time scheduling problem that arises in the design of software-based operation control of aircraft. A set of tasks has to be distributed on a min...
Friedrich Eisenbrand, Karthikeyan Kesavan, Raju S....
EC
2008
146views ECommerce» more  EC 2008»
14 years 11 months ago
Automated Discovery of Local Search Heuristics for Satisfiability Testing
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
Alex S. Fukunaga