| Proc. INFOCOM'96, IEEE Computer Society Press, 1996. |
....brief discussion of rule based VPLs in Subsection 3.2. Section 3.6 contains a more detailed comparison of visual graph transformation languages. For further details concerning other categories of visual languages the reader is referred to the IEEE series of Visual Language conference proceedings [116] as well as to paper collections like [43,13] or to the following two special issues of IEEE Computer [49,11] Visual Programming Environments The history of visual programming environments (VPEs) is tightly bound to the history of visual programming languages covered by the previous subsection. ....
Proc. IEEE Symposium/Workshop on Visual Languages (VL'XX), Los Alamitos, CA, 19XX. IEEE Computer Society Press.
....the motional and internal states. 3.3 Quantum Logic Significant attention has been given recently to the possibility of quantum computation. Although this field is about 15 years old [134 138] interest has intensified because of the discovery of algorithms, notably for prime factorization [139 142], which could provide dramatic speedup over conventional computers. Quantum computation may also find other applications 274 Volume 103, Number 3, May June 1998 Journal of Research of the National Institute of Standards and Technology [142 152] Schemes for implementing quantum computation ....
P. Shor, Proc. 35th Ann. Symp. Found. Comp. Sci., IEEE Computer Society Press, New York (1994) p. 124.
....brief discussion of rule based VPLs in Subsection 1.2.4. Section 1.6 contains a more detailed comparison of visual graph transformation languages. For further details concerning other categories of visual languages the reader is referred to the IEEE series of Visual Language conference proceedings [31] as well as to paper collections like [32,33] or to the following two special issues of IEEE Computer [34,35] 1.2.3 Visual Programming Environments The history of visual programming environments (VPEs) is tightly bound to the history of visual programming languages covered by the previous ....
Proc. IEEE Symposium/Workshop on Visual Languages (VL'XX), Los Alamitos, CA, 19XX. IEEE Computer Society Press.
....environments. It also distinguishes this research from our own past work[3, 28] in which we investigate how the needs of real time applications affect the object model and its required runtime support[25] Similarly, recent work on the dynamic configuration of distributed and object based systems[6] often concerns specific configuration methods or general (rather than high performance) frameworks for implementing dynamically configurable applications, whereas CTK is exploring flexible mechanisms with which efficient, configurable program and operating system abstractions may be implemented. ....
Proc. of the 3rd International Conference on Configurable Distributed Systems. IEEE Computer Society Press, May 1996.
No context found.
Proc. Symp. on Visual Languages, Halifax, Canada, September 1998. IEEE Computer Society Press.
No context found.
Proc. Symp. on Visual Languages, Capri, Italy, September 1997. IEEE Computer Society Press.
No context found.
Proc. Symp. on Visual Languages, Darmstadt, Germany, September, 5-9 1995. IEEE Computer Society Press.
No context found.
Proc. Symp. on Visual Languages, St. Louis, Missouri, October, 4-7 1994. IEEE Computer Society Press.
....the manipulation of diagrams is based on algebraic graph transformation and graphical constraint solving. Keywords: visual language, algebraic graph transformation, constraint solving, ruleand constraint based editor. 1 Introduction Visual languages (VLs) emerge in an increasing frequency (cf. [VLxx] for more details) Usually, they are fixed implemented in a visual environment (VE) This is the main disadvantage when regarding VLs for e.g. software modeling or programming. Whenever the concepts of a language or visual means are changed a partly reimplementation of the supporting VE is ....
Proc. IEEE Symposium/Workshop on Visual Languages, Los Alamitos, CA, 19xx. IEEE Computer Society Press.
....may take exponential time in the worst case. Bryant and Lawrence (1993) used exhaustive enumeration to examine all possible threadings (their gapped alignment ) They set upper and lower bounds on the gap length considered, based on the observed gap lengths from aligned homologous sequences. Lathrop and Smith (1994) used a branch and bound search, which heuristically prunes unpromising regions of the search space. While it has found the globally optimal threading at speeds equivalent to as many as 10 24 threadings per hour (most of which are pruned before they are ever explicitly examined) it still ....
....threading problem in sufficient generality to cover a wide range of cases. The problem and formalisms are equally applicable to threading protein core motifs or super secondary structure motifs. Our general definition is similar to that of Bryant and Lawrence (1993) Details are contained in Lathrop and Smith (1994), from which many of the definitions here are drawn. A probability analysis appears in White et al. in press) Although for generality the problem is stated in terms of core segments of contiguous amino acids, the proof actually uses segments of length exactly one. Consequently, it applies ....
[Article contains additional citation context not shown here]
Lathrop, R.H. and Smith, T.F. (1994) Proc. 27th Hawaii Intl. Conf. on System Sciences. IEEE Computer Society Press, Los Alamitos, California, pp. 365--374.
No context found.
Proc. of the European Design and Test Conference, (Paris, France), IEEE Computer Society Press, Feb. 8-Mar. 3 1994.
No context found.
Proc. of the European Design and Test Conference, Paris, France, Feb. 8Mar. 3 1994. IEEE Computer Society Press.
No context found.
Proc. INFOCOM'96, IEEE Computer Society Press, 1996.
No context found.
Programs," Proc. of the Working Conference on Reverse Engineering, pp. 202 # 211, Baltimore Maryland, May 21 # 23, IEEE Computer Society Press, 1993.
No context found.
Proc. FCCM97, IEEE Computer Society Press, 1997, pp. 201#210.
No context found.
Proc. FCCM97, IEEE Computer Society Press, 1997, pp. 56#65.
No context found.
Proc. IEEE Workshop on Visual Languages, Darmstadt, Germany, September 5-9, 1995. IEEE Computer Society Press. Availabe at URL: http://www.computer.org:80/conferen/vl95/TALKHP.html.
No context found.
Proc. of the 14 th Int. Conf. on Software Engineering, Melbourne, Australia, pages 262#279. IEEE Computer Society Press, 1992.
No context found.
Proc. of the 8 th Int. Workshop on SoftwareSpeci#- cation and Design, Schloss Velen, Germany, pages 26#35. IEEE Computer Society Press, 1996.
No context found.
Proc. of the 8 th Int. Workshop on Software Speci#cation and Design, Velen, Germany. IEEE Computer Society Press, 1996. To appear.
No context found.
Proc. Comp. Vis. and Pattern Rec., pages 928#934. IEEE Computer Society Press, June 1997.
No context found.
Proc. of the IEEE International Conference on Computer Design, (Cambridge, Massachusetts), IEEE Computer Society Press, Oct. 3-6 1993.
No context found.
Proc. of the European Design Automation Conference (EuroDAC) , (Hamburg, Germany), IEEE Computer Society Press, Feb. 1992.
No context found.
Proc. of the IEEE International Conference on Computer Design, Cambridge, Massachusetts, Oct. 3-6 1993. IEEE Computer Society Press.
No context found.
Proc. of the European Design Automation Conference (EuroDAC), Hamburg, Germany, Feb. 1992. IEEE Computer Society Press.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC