3256 search results - page 337 / 652 » Mixin-Based Programming in C |
196
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
175
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
94
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
116
Voted
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
- In this paper, we analyze the impact of network contention on the application mapping for tile-based Networkon-Chip (NoC) architectures. Our main theoretical contribution consist...
95
Voted
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...