Sciweavers

7778 search results - page 1305 / 1556
» Designing Controllers for Reachability
Sort
View
EUROMICRO
2004
IEEE
15 years 7 months ago
Using Academic Courses for Empirical Validation of Software Development Processes
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
Marcus Ciolkowski, Dirk Muthig, Jörg Rech
121
Voted
ECMDAFA
2006
Springer
136views Hardware» more  ECMDAFA 2006»
15 years 7 months ago
Finding a Path to Model Consistency
A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and cont...
Gregory de Fombelle, Xavier Blanc, Laurent Rioux, ...
136
Voted
EMSOFT
2006
Springer
15 years 7 months ago
A hierarchical coordination language for interacting real-time tasks
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli...
128
Voted
FPGA
2006
ACM
111views FPGA» more  FPGA 2006»
15 years 7 months ago
FPGA clock network architecture: flexibility vs. area and power
This paper examines the tradeoffs between flexibility, area, and power dissipation of programmable clock networks for FieldProgrammable Gate Arrays (FPGA's). The paper begins...
Julien Lamoureux, Steven J. E. Wilton
GECCO
2006
Springer
128views Optimization» more  GECCO 2006»
15 years 7 months ago
FTXI: fault tolerance XCS in integer
In the realm of data mining, several key issues exists in the traditional classification algorithms, such as low readability, large rule number, and low accuracy with information ...
Hong-Wei Chen, Ying-Ping Chen
« Prev « First page 1305 / 1556 Last » Next »