Sciweavers

139 search results - page 2 / 28
» High-level languages for small devices: a case study
Sort
View
LISA
2007
13 years 7 months ago
PoDIM: A Language for High-Level Configuration Management
The high rate of requirement changes make system administration a complex task. This complexity is further influenced by the increasing scale, unpredictable behaviour of software ...
Thomas Delaet, Wouter Joosen
FMAM
2010
157views Formal Methods» more  FMAM 2010»
13 years 3 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
CAV
2010
Springer
154views Hardware» more  CAV 2010»
13 years 9 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
TCAD
2011
12 years 11 months ago
High-Level Synthesis for FPGAs: From Prototyping to Deployment
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
Jason Cong, Bin Liu, Stephen Neuendorffer, Juanjo ...
DATESO
2004
92views Database» more  DATESO 2004»
13 years 6 months ago
Querying the RDF: Small Case Study in the Bicycle Sale Domain
We examine the suitability of RDF, RDF Schema (as simple ontology language), and RDF repository Sesame, for providing the backend to a prospective domain-specific web search tool, ...
Ondrej Sváb, Vojtech Svátek, Martin ...