2800 search results - page 406 / 560 » Fibrational Control Structures |
138
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
104
Voted
PERCOM
2008
ACM
16 years 2 months ago
2008
ACM
The IEEE 802.15.4 standard defines a set of procedures to set-up a Low-Rate Wireless Personal Area Network where nodes self-organize into a logical communication structure through ...
120
Voted
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
104
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Seeded image segmentation is a popular type of supervised image segmentation in computer vision and image processing. Previous methods of seeded image segmentation treat the image...
129
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
DRAM is facing severe scalability challenges in sub-45nm technology nodes due to precise charge placement and sensing hurdles in deep-submicron geometries. Resistive memories, suc...