867 search results - page 82 / 174 » On Two Forms of Structural Recursion |
114
Voted
SSDBM
2007
IEEE
15 years 7 months ago
2007
IEEE
We consider pedigree data structured in the form of a directed acyclic graph, and use an encoding scheme, called NodeCodes, for expediting the evaluation of queries on pedigree gr...
107
Voted
AOSD
2006
ACM
15 years 6 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
90
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
143
click to vote
CP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Ordered Decision Diagrams with AND nodes, in order to capture function de...
82
Voted
TSE
2002
15 years 7 days ago
2002
A key problem in software engineering is changing the code. We present a sequence of visualizations and visual metaphors designed to help engineers understand and manage the softw...