2106 search results - page 75 / 422 » Specifying C concepts |
FMSD
2006
13 years 7 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
CPHYSICS
2008
13 years 7 months ago
2008
The motion of two- and three-dimensional self-propelled microscopic bodies immersed in a fluid medium is studied using molecular dynamics simulation. The advantage of the atomisti...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
ABSTRACT. A graphical realization of a linear code C consists of an assignment of the coordinates of C to the vertices of a graph, along with a specification of linear state spaces...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...