1724 search results - page 301 / 345 » Types as models: model checking message-passing programs |
ISCA
1993
IEEE
14 years 1 months ago
1993
IEEE
Parallel programs that use critical sections and are executed on a shared-memory multiprocessor with a writeinvalidate protocol result in invalidation actions that could be elimin...
NGC
2006
Springer
13 years 9 months ago
2006
Springer
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...
ECSA
2010
Springer
13 years 7 months ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
SCP
2011
13 years 3 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
GD
2003
Springer
14 years 2 months ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...