2911 search results - page 431 / 583 » A Logic of Graph Constraints |
113
Voted
ICFP
2008
ACM
16 years 22 days ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
99
Voted
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
—Nanoscale integrated circuits are becoming increasingly sensitive to radiation-induced transient faults (soft errors) due to current technology scaling trends, such as shrinking...
84
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— When exploring computing elements made from technologies other than CMOS, it is imperative to investigate the effects of physical implementation constraints. This paper focuses...
98
Voted
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
96
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...