Sciweavers

5653 search results - page 49 / 1131
» Distributed Conceptual Structures
Sort
View
ECOI
2008
84views more  ECOI 2008»
13 years 10 months ago
Towards a structured approach to building qualitative reasoning models and simulations
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
Bert Bredeweg, Paulo Salles, Anders Bouwer, Jochem...
ICPP
1999
IEEE
14 years 2 months ago
Improving Performance of Load-Store Sequences for Transaction Processing Workloads on Multiprocessors
On-line transaction processing exhibits poor memory behavior in high-end multiprocessor servers because of complex sharing patterns and substantial interaction between the databas...
Jim Nilsson, Fredrik Dahlgren
ICS
1992
Tsinghua U.
14 years 2 months ago
The CODE 2.0 graphical parallel programming language
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
Peter Newton, James C. Browne
TBILLC
2005
Springer
14 years 3 months ago
The Main Devices of Foregrounding in the Information Structure of Georgian Sentences
Structuring of information proceeds through the foregrounding of certain parts of the information. In general, foregrounding can be realized on various linguistic levels and it is...
Rusudan Asatiani
ZUM
2005
Springer
140views Formal Methods» more  ZUM 2005»
14 years 3 months ago
An Object-Oriented Structuring for Z Based on Views
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
Nuno Amálio, Fiona Polack, Susan Stepney