Sciweavers

247 search results - page 3 / 50
» Characteristics of Modern System Implementation Languages
Sort
View
ACMSE
2009
ACM
13 years 12 months ago
Ginger: implementing a new Lisp family syntax
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
James Dean Palmer
ISLPED
2010
ACM
165views Hardware» more  ISLPED 2010»
13 years 5 months ago
Dynamic workload characterization for power efficient scheduling on CMP systems
Runtime characteristics of individual threads (such as IPC, cache usage, etc.) are a critical factor in making efficient scheduling decisions in modern chip-multiprocessor systems...
Gaurav Dhiman, Vasileios Kontorinis, Dean M. Tulls...
IPPS
2006
IEEE
13 years 11 months ago
TPCC-UVa: an open-source TPC-C implementation for parallel and distributed systems
This paper presents TPCC-UVa, an open-source implementation of the TPC-C benchmark intended to be used in parallel and distributed systems. TPCC-UVa is written entirely in C langu...
Diego R. Llanos Ferraris, Belén Palop
ICECCS
2007
IEEE
95views Hardware» more  ICECCS 2007»
13 years 11 months ago
A Formal Contract Language for Plugin-based Software Engineering
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
Jens Dietrich, John G. Hosking, Jonathan Giles
JOT
2008
142views more  JOT 2008»
13 years 5 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...