1260 search results - page 39 / 252 » OpenJ: An Extensible System Level Design Language |
183
click to vote
IJDE
2007
15 years 5 months ago
2007
Source code author identification deals with identifying the most likely author of a computer program, given a set of predefined author candidates. There are several scenarios whe...
174
click to vote
STTT
2010
15 years 4 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
144
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
In this work, we provide a technique for efficiently exploring the configuration space of a parameterized system-on-a-chip (SOC) architecture to find all Pareto-optimal configurat...
140
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
152
click to vote
SIGOPS
2010
15 years 19 days ago
2010
We introduce SelfTalk, a novel declarative language that allows users to query and understand the status of a large scale system. SelfTalk is sufficiently expressive to encode an ...