3273 search results - page 621 / 655 » Structured Design of Microelectromechanical Systems |
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
113
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
108
click to vote
MOBISYS
2004
ACM
15 years 11 months ago
2004
ACM
Wireless data broadcast has received a lot of attention from industries and academia in recent years. Access efficiency and energy conservation are two critical performance concer...
107
click to vote
PLPV
2009
ACM
15 years 8 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
We explore the problem of modeling Internet connectivity at the Autonomous System (AS) level and present an economically-principled dynamic model that reproduces key features of t...