1492 search results - page 163 / 299 » Concurrent programming in VISO |
103
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
99
Voted
ENTCS
2002
15 years 12 days ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
124
click to vote
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
The computational power provided by many-core graphics processing units (GPUs) has been exploited in many applications. The programming techniques currently employed on these GPUs...