95 search results - page 6 / 19 » Operational Semantics for DKAL: Application and Analysis |
ICS
2005
Tsinghua U.
14 years 27 days ago
2005
Tsinghua U.
Although unstructured mesh algorithms are a popular means of solving problems across a broad range of disciplines—from texture mapping to computational fluid dynamics—they ar...
DATE
2003
IEEE
14 years 21 days ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
GEOS
2007
Springer
14 years 1 months ago
2007
Springer
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
IDEAS
2000
IEEE
13 years 11 months ago
2000
IEEE
Today many applications routinely generate large quantities of data. The data often takes the form of (time) series, or more generally streams, i.e. an ordered sequence of records...
DEXAW
1997
IEEE
13 years 11 months ago
1997
IEEE
It is important for any data language that it enables many people to derive correct information from a databases in a simple, effective way with predictable performance. In an ana...