972 search results - page 128 / 195 » Intersection types and computational effects |
BIRTHDAY
2003
Springer
14 years 17 days ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
DEBS
2010
ACM
14 years 7 days ago
2010
ACM
An effective means for building Internet-scale distributed applications, and in particular those involving group-based information sharing, is to deploy peer-to-peer overlay netwo...
AAAI
2007
13 years 11 months ago
2007
Effective teaching involves treating the presentation of new material and the assessment of students’ mastery of this material as part of a seamless and continuous feedback cycl...
CHI
2005
ACM
13 years 11 months ago
2005
ACM
Motion is the strongest visual appeal to attention [2], yet it is rarely used in the visualization of large-scale quantitative information. Motion is complex; it can vary across n...
DAC
2008
ACM
13 years 10 months ago
2008
ACM
Graphene nanoribbon FETs (GNRFETs) are promising devices for beyond-CMOS nanoelectronics because of their excellent carrier transport properties and potential for large scale proc...