Sciweavers

1087 search results - page 159 / 218
» The DecideIT Decision Tool
Sort
View
ICCAD
2002
IEEE
116views Hardware» more  ICCAD 2002»
16 years 3 months ago
Conflict driven techniques for improving deterministic test pattern generation
This work presents several new techniques for enhancing the performance of deterministic test pattern generation for VLSI circuits. The techniques introduced are called dynamic de...
Chen Wang, Sudhakar M. Reddy, Irith Pomeranz, Xiji...
CGO
2010
IEEE
16 years 1 months ago
Large program trace analysis and compression with ZDDs
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...
Graham D. Price, Manish Vachharajani
CICLING
2010
Springer
16 years 1 months ago
EusPropBank: Integrating Semantic Information in the Basque Dependency Treebank
This paper deals with theoretical problems found in the work that is being carried out for annotating semantic roles in the Basque Dependency Treebank (BDT). We will present the re...
Izaskun Aldezabal, María Jesús Aranz...
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
16 years 1 months ago
Issues Related to Development of E/E Product Line Architectures in Heavy Vehicles
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
Peter Wallin, Stefan Johnsson, Jakob Axelsson
SIGCSE
2009
ACM
134views Education» more  SIGCSE 2009»
16 years 1 months ago
What makes CS teachers change?: factors influencing CS teachers' adoption of curriculum innovations
Computer Science (CS) education researchers hope their research has real impact on teaching practices. Developers of innovative curricula and tools for CS education want teachers ...
Lijun Ni