Sciweavers

595 search results - page 25 / 119
» Little languages: little maintenance
Sort
View
OOPSLA
2010
Springer
13 years 7 months ago
Language virtualization for heterogeneous parallel computing
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Ro...
APCCM
2008
13 years 10 months ago
Survey of Existing Languages to Model Interactive Web Applications
Over the last few years, the web is establishing increased importance in society with the rise of social networking sites and the semantic web, facilitated and driven by the popul...
Jevon M. Wright, Jens Dietrich
DSL
1997
13 years 10 months ago
Domains of Concern in Software Architectures and Architecture Description Languages
Software architectures shift the focus of developers from lines-of-code to coarser-grained elements and their interconnection structure. Architecture description languages (ADLs) ...
Nenad Medvidovic, David S. Rosenblum
ENTCS
2007
144views more  ENTCS 2007»
13 years 9 months ago
Partial Order Reduction for Rewriting Semantics of Programming Languages
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
Azadeh Farzan, José Meseguer
USS
2010
13 years 7 months ago
ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
Sarah Meiklejohn, C. Christopher Erway, Alptekin K...