1454 search results - page 58 / 291 » Stateful traits and their formalization |
101
click to vote
DAGSTUHL
2006
15 years 1 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
117
click to vote
FORTE
1997
15 years 1 months ago
1997
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
DAC
2000
ACM
16 years 1 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
95
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the abs...
124
Voted
ATAL
2005
Springer
15 years 2 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...