3605 search results - page 631 / 721 » System and simulation modeling using SysML |
142
click to vote
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
136
click to vote
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
Today's transactional memory systems implement the two-phase-locking (2PL) algorithm which aborts transactions every time a conflict happens. 2PL is a simple algorithm that pr...
127
click to vote
HPDC
2007
IEEE
15 years 9 months ago
2007
IEEE
Utility functions can be used to represent the value users attach to job completion as a function of turnaround time. Most previous scheduling research used simple synthetic repre...
123
click to vote
ICDIM
2007
IEEE
15 years 9 months ago
2007
IEEE
—The Common Instrument Middleware Architecture (CIMA) model for Web services based monitoring of remote scientific instruments is being extended and enhanced to provide a capabil...
108
Voted
CONTEXT
2007
Springer
15 years 9 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...