2112 search results - page 292 / 423 » Using the Network Description Language in Optical Networks |
126
Voted
TLDI
2009
ACM
16 years 17 days ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
138
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
129
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
111
Voted
CASES
2007
ACM
15 years 7 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
153
Voted
AAAI
2004
15 years 5 months ago
2004
Representing lexicons and sentences with the subsymbolic approach (using techniques such as Self Organizing Map (SOM) or Artificial Neural Network (ANN)) is a relatively new but i...