Filters








339,295 Hits in 5.4 sec

Compiler verification

Maulik A. Dave
2003 Software engineering notes  
Journal of Software Tools for Technology Transfer (STTT), Vol 2(2), pp 192-201, 1998. 52 Ofer Strichman, A. Pnueli and M.  ...  Steffen, editor, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1998), volume 1384 of Lecture Notes in Computer Science, pages  ... 
doi:10.1145/966221.966235 fatcat:2aectsl4ejbkjmsv6erfez5ika

Simulational study of a dosimetric comparison between a Gamma Knife treatment plan and an intensity-modulated radiotherapy plan for skull base tumors

H. Nakazawa, Y. Mori, M. Komori, T. Tsugawa, Y. Shibamoto, T. Kobayashi, C. Hashizume, Y. Uchiyama, M. Hagiwara
2013 Journal of Radiation Research  
The PTV coverage was 95-99% for Novalis and 94-98% for PFX.  ...  Dosimetric results for Novalis IM-SRT and PFX-SRT were evaluated in the same prescription doses. The isocenter number of PFX was between 12 and 50 at the isodose contour of 50-60%.  ...  Delineation of target and risk organs was performed with an autosegmentation function and manually by a radiation oncologist and a neurosurgeon on iPlan RT image treatment-planning software.  ... 
doi:10.1093/jrr/rrt136 pmid:24351459 pmcid:PMC4014159 fatcat:qxomephzkfckboscqdmvyi77oq

Page 1047 of The Journal of the Operational Research Society Vol. 53, Issue 9 [page]

2002 The Journal of the Operational Research Society  
Workflow Manage- ment: Net-based Concepts, Models, Techniques and Tools (WFM’'98), Volume 98/7 of Computing Science Reports. Eind- hoven University of Technology, Eindhoven, pp 109-128.  ...  Application and Theory of Petri Nets 1993, Volume 691. Springer-Verlag: Berlin, pp 453-472. Eder J, Panagos E, Pozewaunig H and Rabinovich M (1999). Time management in workflow systems.  ... 

Mutual Exclusive Distributive Clustering (MEDC) Protocol for Wireless Sensor Networks

Yashwant Singh, Urvashi Chugh
2014 International Journal of Sensors Wireless Communications and Control  
A fast novel algorithm for salt and pepper image noise cancellation using cardinal B-splines.  ...  of Advancements in Computing Technology, ISSN: 2005-8039, Volume 2, Number 5, December 2010, pp. 89-98.  ...  Elcock, Process Scheduling in heterogeneous multiprocessor systems using task duplication, International Journal of Business Data Communications and Networking, 6, pp. 58 -69, 2010. 41. P.  ... 
doi:10.2174/221032790302140505100253 fatcat:y6ttiopi3nb4nkurzuvdaj77ci

The TAME project: towards improvement-oriented software environments

V.R. Basili, H.D. Rombach
1988 IEEE Transactions on Software Engineering  
The role of experimentation in software engineering: past, current, and future,  ...  Investigating information systems with action research, Communications of the AIS, v.2 n.3es, Nov. 1999 [3]Basili, Victor R.  ...  In Requirements Engineering Journal, 1:4- 26, Requirements Volume 4, Number 2 / July, 1999 92-102 [98]Harker S. D. P. and K. D.  ... 
doi:10.1109/32.6156 fatcat:udzwobd6dngxvcqhitc3frosbi

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 Software engineering notes  
Software -Practice and Experience, Volume 11, Number 4 (April 1981), pp. 363-396.  ...  ; International Journal of Man-Machine Studies 11.2 pp. 235-262.  ... 
doi:10.1145/390019.808321 fatcat:owxireuadvagna7utuefnfbb3q

Accounting treatment of software development costs according to applicable accounting standards

Dilyana Markova
2017 Ikonomika i Kompûtʺrni Nauki  
The growth of the software sector worldwide is ahead of the creation and updating of accounting standards that regulate the reporting of the products and services it creates.  ...  This impose the adoption and application of explanations to give a specific guidelines and rules on the accounting treatment of R & D expenditure at each phase of the software project life cycle and disclosure  ...  David, E.Paul, A historical review of the accounting treatment of research and development costs, Accounting historians journal, Volume 19, Number 1, 1992.  ... 
doaj:2c148490126c46898c69c57af9a0d218 fatcat:athakwjimzde3nnu27y77vqm5i

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 Proceedings of an ACM conference on Language design for reliable software -  
Software -Practice and Experience, Volume 11, Number 4 (April 1981), pp. 363-396.  ...  ; International Journal of Man-Machine Studies 11.2 pp. 235-262.  ... 
doi:10.1145/800022.808321 fatcat:zuuerylr3fhc7cbzpijepsbinq

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 ACM SIGOPS Operating Systems Review  
Software -Practice and Experience, Volume 11, Number 4 (April 1981), pp. 363-396.  ...  ; International Journal of Man-Machine Studies 11.2 pp. 235-262.  ... 
doi:10.1145/390018.808321 fatcat:6mp6jshmnjg5thssngqrusca3u

System performance modeling with functional schemes and VHDL

P. Bakowski, J.-P. Calvez
1992 Microprocessing and Microprogramming  
Multiple-process behavioral synthesis for mixed hardware-software systems,  ...  Calvez, A System Level Performance Model and Method, in Current Issues In Electronic Modeling, Volume 6: Meta-Modeling: Performance, Software and Information Modeling, pp, J.M. Bergé, O. Levia, J.  ...  Furbach, Formal specification methods for reactive systems, Journal of Systems Software, Vol 21 1992, pp 129-139 [GAJSKI-92] Daniel Gajski, Sanjiv Narayan, Frank Vahid "A system-Level Specification  ... 
doi:10.1016/0165-6074(92)90328-5 fatcat:355us6s5jnfwlgtnvnaauugjca

Page 22 of Journal of Research and Practice in Information Technology Vol. 22, Issue 4 [page]

1990 Journal of Research and Practice in Information Technology  
systems personnel 77-87 Stages of growth of an innovative software house: An additional criterion 88-98 for software package selection Information systems technology in support of distribution: Some Australian  ...  The AUSTRALIAN COMPUTER JOURNAL VOLUME 22 February 1990 to November 1990 Contributions 1. February, 1990 Suffern, K.G. Caelli, W.G., Edmond, D., Knight, E.A. and T:? ‘le, A.B. 2.  ... 

Abstraction and verification in Alphard: defining and specifying iteration and generators

Mary Shaw, William A. Wulf, Ralph L. London
1977 Communications of the ACM  
Software -Practice and Experience, Volume 11, Number 4 (April 1981), pp. 363-396.  ...  ; International Journal of Man-Machine Studies 11.2 pp. 235-262.  ... 
doi:10.1145/359763.359782 fatcat:2ckqb2i6rrdsnipkjasaia3yaa

Abstraction and verification in Alphard

Mary Shaw, Wm A. Wulf, Ralph L. London
1977 SIGPLAN notices  
Software -Practice and Experience, Volume 11, Number 4 (April 1981), pp. 363-396.  ...  ; International Journal of Man-Machine Studies 11.2 pp. 235-262.  ... 
doi:10.1145/390017.808321 fatcat:26pqysz4pnfb5e3sawaggsuory

Study of Coal Mine Ventilation System Optimization based on Ventsim

Jing Gang Zhang, Cheng Yu Suo, W.-P. Sung, J.C.M. Kao
2016 MATEC Web of Conferences  
Design of mine ventilation is proved practical in the mine ventilation system optimizations, thus Ventsim software can not only be used in the ventilation network calculation and merry-demand simulation  ...  and dynamic of wind flow, but also can be used to assist in the short-term and long-term planning for ventilation system, it is of a certain significance of guidance to find the problems in the mine management  ...  basis data from other mine design software or the ventilation software into the system conveniently.  ... 
doi:10.1051/matecconf/20164402016 fatcat:oli2zy7ra5b2ne2csny4cop3aq

1010(2) Years of CLEI Electronic Journal

Mauricio Solar
2009 CLEI Electronic Journal  
This document presents an historical overview of the CLEI Electronic Journal editions in its10th anniversary, with particular details in the period that has started in 2005.  ...  The articledescribes the activities that has been made to improve the journal presentation and finallyproposing some actions that tend to index it in Scielo (Scientific Electronic Library Online).  ...  In June 1998 the first Volume and Number of the CLEI Electronic Journal (CLEI EJ) [2] was published.  ... 
doi:10.19153/cleiej.12.1.1 fatcat:osi623nyijf5pfxf6kml5lbbny
« Previous Showing results 1 — 15 out of 339,295 results