840 search results - page 107 / 168 » Open multi-methods for c |
130
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
Service Oriented Architecture (SOA) is an architectural paradigm that enables dynamic composition of heterogeneous, independent, multi-vendor business services. A prerequisite for...
172
Voted
TLDI
2010
ACM
16 years 2 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
145
Voted
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
161
click to vote
PDP
2009
IEEE
15 years 12 months ago
2009
IEEE
There is a multicore platform that is currently concentrating an enormous attention due to its tremendous potential in terms of sustained performance: the NVIDIA Tesla boards. The...
127
click to vote
CSMR
2009
IEEE
15 years 12 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...