619 search results - page 6 / 124 » Formal Methods Meet Domain Specific Languages |
162
click to vote
IEEEPACT
2009
IEEE
15 years 3 months ago
2009
IEEE
Efficiently using the hardware capabilities of the Cell processor, a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and bei...
153
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
176
click to vote
ANSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Molecular Dynamics (MD) involves solving Newton's equations of motion for a molecular system and propagating the system by time-dependent updates of atomic positions and velo...
157
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
146
click to vote
ACL
2006
15 years 7 months ago
2006
This paper presents Archivus, a multimodal language-enabled meeting browsing and retrieval system. The prototype is in an early stage of development, and we are currently explorin...