576 search results - page 62 / 116 » Synchronization of Some DFA |
CCS
2006
ACM
14 years 14 days ago
2006
ACM
A broadcast authentication mechanism is important in wireless sensor networks, assuring receivers of a packet's validity. To provide authentication, some researchers utilize ...
ISSTA
1998
ACM
14 years 9 days ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
HPDC
1995
IEEE
14 years 8 days ago
1995
IEEE
New file systems are critical to obtain good I/O performance on large multiprocessors. Several researchers have suggested the use of collective file-system operations, in which ...
CSCW
2008
ACM
13 years 10 months ago
2008
ACM
Complex 3D digital media creation demands anytime and anywhere collaboration support. The CoMaya project aims to incorporate such advanced collaboration capabilities into Autodesk...
DATESO
2006
13 years 10 months ago
2006
Some text compression methods take advantage from using more complex compression units than characters. The synchronization between coder and decoder then can be done by transferri...