Sciweavers

1260 search results - page 138 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
IDEAL
2003
Springer
15 years 3 months ago
Towards a Terabyte Digital Library System
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...
Hao Ding, Yun Lin, Bin Liu
ESAW
2009
Springer
15 years 4 months ago
A Goal-Oriented Approach for Modelling Self-organising MAS
Autonomous software agents provide a promising solution to the needs of decentralised networked systems, able to adapt their behaviour in a complex and dynamically changing environ...
Mirko Morandini, Frédéric Migeon, Ma...
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 4 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
15 years 4 months ago
Improved performance and variation modelling for hierarchical-based optimisation of analogue integrated circuits
A new approach in hierarchical optimisation is presented which is capable of optimising both the performance and yield of an analogue design. Performance and yield trade offs are ...
Sawal Ali, Li Ke, Reuben Wilcock, Peter Wilson
OOPSLA
2009
Springer
15 years 4 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...