The following pages link to Arthur Bernstein (Q2368984):
Displaying 19 items.
- Automatic workflow verification and generation (Q2368986) (← links)
- Conditional Capabilities (Q3206292) (← links)
- COMPLETENESS AND REALIZABILITY: CONDITIONS FOR AUTOMATIC GENERATION OF WORKFLOWS (Q3379523) (← links)
- False Deadlock Detection in Distributed Systems (Q3677162) (← links)
- A modula based language supporting hierarchical development and verification (Q3914428) (← links)
- Analysis of a Feedback Scheduler (Q4049904) (← links)
- A Computer Architecture for Level Structured Systems (Q4068091) (← links)
- Synthesizing a Response Function with a Feedback Scheduling Algorithm (Q4099213) (← links)
- Extending Concurrent Pascal to Allow Dynamic Resource Management (Q4131637) (← links)
- Conditions for the Equivalence of Synchronous and Asynchronous Systems (Q4174217) (← links)
- (Q4852241) (← links)
- A highly asynchronous minimum spanning tree protocol (Q5136990) (← links)
- Optimal Binary Coding of Ordered Numbers (Q5510068) (← links)
- A Shared Memory Computer Display System (Q5524887) (← links)
- A class of binary recurrent codes with limited error propagation (Q5531450) (← links)
- Maximally Connected Arrays on the <i>n</i>-Cube (Q5539520) (← links)
- Computing Irredundant Normal Forms from Abbreviated Presence Functions (Q5541348) (← links)
- Encoding of analog signals for binary symmetric channels (Q5597284) (← links)
- Comment on the working set model for program behavior (Q5613553) (← links)
