Sciweavers

1431 search results - page 228 / 287
» Solving Constraints in Model Transformations
Sort
View
102
Voted
SIGCSE
2010
ACM
121views Education» more  SIGCSE 2010»
15 years 7 months ago
Using strategies for assessment of programming exercises
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
100
Voted
ASPDAC
2009
ACM
161views Hardware» more  ASPDAC 2009»
15 years 7 months ago
Risk aversion min-period retiming under process variations
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
Jia Wang, Hai Zhou
99
Voted
CAIP
2005
Springer
220views Image Analysis» more  CAIP 2005»
15 years 6 months ago
Application of Automatic Image Registration in a Segmentation Framework of Pelvic CT Images
In radiation treatment (RT) planning, clinicians must trace the outline of a few critical structures on a large number of images. Using automated image segmentation could save trem...
Attila Tanács, Eörs Máté...
108
Voted
UML
2005
Springer
15 years 6 months ago
Representing and Applying Design Patterns: What Is the Problem?
Design patterns embody proven solutions to recurring design problems. Ever since the gang of four popularized the concept, researchers have been trying to develop methods for repre...
Hafedh Mili, Ghizlane El-Boussaidi
109
Voted
CHES
2006
Springer
88views Cryptology» more  CHES 2006»
15 years 4 months ago
Dual-Rail Random Switching Logic: A Countermeasure to Reduce Side Channel Leakage
Recent research has shown that cryptographers with glitches are vulnerable in front of Side Channel Attacks (SCA). Since then, several methods, such as Wave Dynamic Differential Lo...
Zhimin Chen, Yujie Zhou